def str_reverse(s):
substr(s, x, y)